Using SCADE to Develop Mission-critical High-quality Radar Application Software
نویسندگان
چکیده
The development of embedded software for radar applications may require software design processes that comply with the DO-178B standard or related processes. This raises issues about cost and productivity associated with the development of such mission-critical applications. In this paper, we introduce the value of the formal design, verification, and implementation technologies offered by modelbased development with SCADE® to develop radar applications and comply with DO-178B. In essence, we look at the problems developers face when confronted with compliance to demanding quality standards and how the SCADE Suite® technology helps them increase their productivity while maintaining the highest level of availability and reliability in their applications. We also discuss the new version standard in development, DO178C.
منابع مشابه
SCADE: A Comprehensive Framework for Critical System and Software Engineering
The International Council on Systems Engineering (INCOSE) defines system engineering as an interdisciplinary approach and means to enable the realization of successful systems. It focuses on defining customer needs and required functionality early in the development cycle, documenting requirements, and then proceeding with design synthesis and system validation. The main challenges of System En...
متن کاملScade 6: A Formal Language for Embedded Critical Software Development
SCADE is a high-level language and environment for developing safety critical embedded control software. It is used for more than twenty years in various application domains like avionics, nuclear plants, transportation, automotive. SCADE has been founded on the synchronous data-flow language Lustre invented by Caspi and Halbwachs. In the early years, it was mainly seen as a graphical notation ...
متن کاملEfficient Development of Embedded Automotive Software with IEC 61508 Objectives using SCADE Drive
The automotive industry is facing a challenge imposed by quality, cost, and safety aspects with respect to development of electronic and software systems. Standardization in systems architecture (AUTOSAR, FlexRay) and software development processes (IEC 61508) promise to provide the answers to the main problems currently faced by automotive SW developers. The objective of this paper is to prese...
متن کاملApproach for Enhancing the Reliability of Software
Reliability is always important in all systems but sometimes it is more important than other quality attributes, especially in mission critical systems where the severity of consequence resulting from failure is very high. Software reliability engineering is focused on comprehensive techniques for developing reliable software and for proper assessment and improvement of reliability. Reliability...
متن کاملCertified Software Factory: Open Software Toolsuites, Safe Methodologies and System Architectures
This paper discusses model-based design in the context of the Safety Critical Application Development Environment (SCADE), developed by Esterel Technologies.
متن کامل